program specification

См. также в других словарях:

• program specification — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

• program specification — programos specifikacija statusas T sritis informatika apibrėžtis Aprašymas to, ką programa daro arba turi daryti. Gali būti neformali (nusakomoji) arba formali. Neformali skirta žmogui, kad jis žinotų, kokius rezultatus turi duoti programa ir iš… …   Enciklopedinis kompiuterijos žodynas

• Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… …   Wikipedia

• spécification du programme — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f …   Automatikos terminų žodynas

• Specification (disambiguation) — Specification may refer to several different concepts: * Specification (technical standard) an explicit set of requirements * Specification (legal concept) a legal concept of Roman Law * Specification (regression) refers to the practice of… …   Wikipedia

• specification — spec i*fi*ca tion (sp[e^]s [i^]*f[i^]*k[=a] sh[u^]n), n. [Cf. F. sp[ e]cification, LL. specificatio.] 1. The act of specifying or determining by a mark or limit; notation of limits. [1913 Webster] This specification or limitation of the question… …   The Collaborative International Dictionary of English

• Program synthesis — comprises a range of technologies for the automatic generation of executable computer programs from high level specifications of their behaviour. In contrast to compilation, the specifications are usually non algorithmic.The idea originated in… …   Wikipedia

• Program Composition Notation — (PCN) is a specification notation for building up larger programs from smaller modules or programs (usually written in C or Fortran). Efficient parallel programming is at the heart of PCN. Larger composed programs are intended to execute… …   Wikipedia

• Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct …   Wikipedia

• Specification language — A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis,… …   Wikipedia

• Program refinement — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf …   Wikipedia